/* timer.h - interface for pit */

#ifndef		_TIMER_H_
#define		_TIMER_H_

#include	"common.h"

void init_timer(u32int freq);

#endif
